Semcheck: Spec-Driven Development Using LLMs
labs.rejot.dev·17h·
Discuss: Hacker News
🧪Binary Fuzzing
Creating an AI Agent in Claude Code to Control my Smartphone
dev.to·13h·
Discuss: DEV
🤖Archive Automation
Learning Decision Process Theory with a Wolfram Language Toolkit
blog.wolfram.com·13h
🔲Cellular Automata
My tips for using LLM agents to create software
efitz-thoughts.blogspot.com·8h·
Discuss: Hacker News
🌳Incremental Parsing
How HackerOne Uses AI to Triage, Prioritize, and Validate Code Scanner Findings at Scale
hackerone.com·1d
🧪Binary Fuzzing
Lobsters Interview with Matklad
lobste.rs·19h·
Discuss: Lobsters
🦀Rust Macros
Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
arxiv.org·5d
🔮Proof Search
12 Best DevSecOps Tools for Your CI/CD Pipeline
boostsecurity.io·17h
🛡️CLI Security
Speeding Up AI Coding Assistants Using Deterministic Feedback
proxymock.io·16h·
Discuss: Hacker News
📼Tape Combinators
It's okay to solve a problem twice
til.andrew-quinn.me·1h·
Discuss: Hacker News
🌳Trie Structures
Tree of AST: A Bug-Hunting Framework Powered by LLMs
darkreading.com·1d
🎯Threat Hunting
Accelerate intelligent document processing with generative AI on AWS
aws.amazon.com·15h
🤖Archive Automation
Can AI weaponize new CVEs in under 15 minutes?
valmarelox.substack.com·1d·
Discuss: Substack
🧪Protocol Fuzzing
AI Code Generation: Trust and Verify, Always
thenewstack.io·19h
⚙️Proof Engineering
Learning Through Doing: From one language to another
blog.scottlogic.com·1d
🦀Rust Borrowing
Graphzep -TypeScript implementation of temporal knowledge graph memory system
github.com·11h·
Discuss: Hacker News
🕸️Neo4j
LLMs Won't Replace Programming Languages
mech-lang.org·1d·
Discuss: Hacker News
🗣️Domain-Specific Languages
Shortcuts for the Long Run: Automated Workflows for Aspiring Data Engineers
kdnuggets.com·19h
🌊Stream Processing
Comprehensive MCP Security Checklist: Protecting Your AI-Powered Infrastructure
lab.wallarm.com·1d
🛡️CLI Security
Zero Context Exhaustion: Building Production-Ready AI Coding Teams with Claude Code Sub-agents
dev.to·8h·
Discuss: DEV
✨Effect Handlers